Yu. V. Matiyasevich: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Riemann Hypothesis in Computer Science

Matiyasevich, Yu.

Journal:

Theoretical Computer Science

Year:

2019

Language:

english

File:

PDF, 341 KB

english, 2019

2

Plausible ways for calculating the Riemann zeta function via the Riemann–Siegel theta function

Matiyasevich, Yu.

Journal:

Journal of Number Theory

Year:

2020

Language:

english

File:

PDF, 473 KB

english, 2020

3

Diophantine representation of enumerable predicates

Yu. V. Matiyasevich

Journal:

Mathematical Notes

Year:

1972

Language:

english

File:

PDF, 277 KB

english, 1972

4

DIOPHANTINE SETS

Matiyasevich, Yu V

Journal:

Russian Mathematical Surveys

Year:

1972

Language:

english

File:

PDF, 193 KB

english, 1972

5

A new proof of the theorem on exponential diophantine representation of enumerable sets

Yu. V. Matiyasevich

Journal:

Journal of Mathematical Sciences

Year:

1980

Language:

english

File:

PDF, 681 KB

english, 1980

6

Combinatorial Geometry and Coding Theory*

Raigorodskii, A.M., Karhumäki, J., Mazalov, V., Matiyasevich, Yu.

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 252 KB

english, 2016

7

Arithmetical representations of enumerable sets with a small number of quantifiers

Yu. V. Matiyasevich

Journal:

Journal of Mathematical Sciences

Year:

1976

Language:

english

File:

PDF, 262 KB

english, 1976

8

A proof-scheme in discrete mathematics

Yu. V. Matiyasevich

Journal:

Journal of Mathematical Sciences

Year:

1977

Language:

english

File:

PDF, 361 KB

english, 1977

9

Diophantine complexity

Yu. V. Matiyasevich

Journal:

Journal of Mathematical Sciences

Year:

1991

Language:

english

File:

PDF, 599 KB

english, 1991

10

Real-time recognition of the inclusion relation

Yu. V. Matiyasevich

Journal:

Journal of Mathematical Sciences

Year:

1973

Language:

english

File:

PDF, 448 KB

english, 1973

11

The application of the methods of the theory of logical derivation to graph theory

Yu. V. Matiyasevich

Journal:

Mathematical Notes

Year:

1972

Language:

english

File:

PDF, 385 KB

english, 1972

12

Metamathematical approach to proving theorems of discrete mathematics

Yu. V. Matiyasevich

Journal:

Journal of Mathematical Sciences

Year:

1978

Language:

english

File:

PDF, 1.30 MB

english, 1978

13

What can and cannot be done with Diophantine problems

Yu. V. Matiyasevich

Journal:

Proceedings of the Steklov Institute of Mathematics

Year:

2011

Language:

english

File:

PDF, 1.25 MB

english, 2011

14

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 813 || Pure Type Systems with definitions

Nerode, Anil, Matiyasevich, Yu. V.

Year:

1994

Language:

english

File:

PDF, 572 KB

english, 1994

15

Horizontal monotonicity of the modulus of the zeta function, L-functions, and related functions

Matiyasevich, Yu., Saidak, F., Zvengrowski, P.

Journal:

Acta Arithmetica

Year:

2014

Language:

english

File:

PDF, 292 KB

english, 2014

16

Tight Lower Bounds on the Resolution Complexity of Perfect Matching Principles

Itsykson, Dmitry, Oparin, Vsevolod, Slabodkin, Mikhail, Sokolov, Dmitry, Karhumäki, J., Mazalov, V., Matiyasevich, Yu.

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 138 KB

english, 2016

17

Equivalence Relations Defined by Numbers of Occurrences of Factors

Saarela, Aleksi, Karhumäki, J., Mazalov, V., Matiyasevich, Yu.

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 109 KB

english, 2016

18

Yet another machine experiment in support of Riemann's conjecture

Yu. V. Matiyasevich

Journal:

Cybernetics and Systems Analysis

Year:

1982

Language:

english

File:

PDF, 227 KB

english, 1982

19

A sufficient condition for the convergence of monotone sequences

Yu. V. Matiyasevich

Journal:

Journal of Mathematical Sciences

Year:

1973

Language:

english

File:

PDF, 256 KB

english, 1973

20

A relationship between certain sums over trivial and nontrivial zeros of the Riemann zeta-function

Yu. V. Matiyasevich

Journal:

Mathematical Notes

Year:

1989

Language:

english

File:

PDF, 285 KB

english, 1989

21

A class of primality criteria formulated in terms of the divisibility of binomial coefficients

Yu. V. Matiyasevich

Journal:

Journal of Mathematical Sciences

Year:

1981

Language:

english

File:

PDF, 640 KB

english, 1981

22

A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers

Yu. V. Matiyasevich

Journal:

Journal of Mathematical Sciences

Year:

1997

Language:

english

File:

PDF, 406 KB

english, 1997

23

Alternatives to the Euler-Maclaurin formula for calculating infinite sums

Yu. V. Matiyasevich

Journal:

Mathematical Notes

Year:

2010

Language:

english

File:

PDF, 504 KB

english, 2010

24

Anatolii Vladimirovich Yakovlev (on the occasion of his 70th birthday)

M. V. Bondarko, N. A. Vavilov, S. V. Vostokov, M. A. Vsemirnov, A. I. Generalov, N. L. Gordeev, E. V. Dybkova, I. B. Zhukov, G. A. Leonov, B. B. Lur’e, Yu. V. Matiyasevich, A. S. Merkur’ev, I. A. Pani

Journal:

Vestnik St. Petersburg University: Mathematics

Year:

2010

Language:

english

File:

PDF, 126 KB

english, 2010

25

Some Properties of the Persidskii Spectrum

D. Yu. Matiyasevich

Journal:

Differential Equations

Year:

2004

Language:

english

File:

PDF, 158 KB

english, 2004

26

Some Algebraic Methods for Calculating the Number of Colorings of a Graph

Yu. V. Matiyasevich

Journal:

Journal of Mathematical Sciences

Year:

2004

Language:

english

File:

PDF, 150 KB

english, 2004

27

Localization of Invariant Sets of Dynamical Systems

D. Yu. Matiyasevich

Journal:

Journal of Mathematical Sciences

Year:

2004

Language:

english

File:

PDF, 231 KB

english, 2004

28

One Probabilistic Equivalent of the Four Color Conjecture

Matiyasevich, Yu. V.

Journal:

Theory of Probability & Its Applications

Year:

2004

Language:

english

File:

PDF, 107 KB

english, 2004

29

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 813 || Weak orthogonality implies confluence: The higher-order case

Nerode, Anil, Matiyasevich, Yu. V.

Year:

1994

Language:

english

File:

PDF, 801 KB

english, 1994

30

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 813 || Yet another correctness criterion for Multiplicative Linear Logic with MIX

Nerode, Anil, Matiyasevich, Yu. V.

Year:

1994

Language:

english

File:

PDF, 595 KB

english, 1994

31

One More Probabilistic Reformulation of the Four Colour Conjecture

MATIYASEVICH, Yu.

Journal:

Combinatorics Probability & Computing

Year:

2010

Language:

english

File:

PDF, 217 KB

english, 2010

32

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 813 || Foundations of proof search strategies design in linear logic

Nerode, Anil, Matiyasevich, Yu. V.

Year:

1994

Language:

english

File:

PDF, 747 KB

english, 1994

33

Yet another representation for reciprocals of the nontrivial zeros of the riemann zeta function

Matiyasevich, Yu. V.

Journal:

Mathematical Notes

Year:

2015

Language:

english

File:

PDF, 489 KB

english, 2015

34

Nikolai Aleksandrovich Shanin (obituary)

Vsemirnov, M A, Hirsch, È A, Grigor'ev, D Yu, Davydov, G V, Dantsin, E Ya, Zaslavskii, I D, Karavaev, E F, Konev, B Yu, Kossovskii, N K, Lifschitz, V A, Margenstern, M, Matiyasevich, Yu V, Mints, G E,

Journal:

Russian Mathematical Surveys

Year:

2013

Language:

english

File:

PDF, 140 KB

english, 2013

35

Sergei Yur'evich Maslov (obituary)

Davydov, G V, Matiyasevich, Yu V, Mints, G E, Orevkov, V P, Slisenko, A O, Sochilina, A V, Shanin, N A

Journal:

Russian Mathematical Surveys

Year:

1984

Language:

english

File:

PDF, 479 KB

english, 1984

36

Nikolai Aleksandrovich Shanin (on his seventieth birthday)

Matiyasevich, Yu V, Mints, G E, Orevkov, V P, Slisenko, A O

Journal:

Russian Mathematical Surveys

Year:

1990

File:

PDF, 333 KB

1990

37

NIKOLAI ALEKSANDROVICH SHANIN (on his sixtieth birthday)

Maslov, S Yu, Matiyasevich, Yu V, Mints, G E, Orevkov, V P, Slisenko, A O

Journal:

Russian Mathematical Surveys

Year:

1980

Language:

english

File:

PDF, 865 KB

english, 1980

38

Minimal k-connected Graphs with Small Number of Vertices of Degree k

Karpov, Dmitri V., Karhumäki, J., Mazalov, V., Matiyasevich, Yu.

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 477 KB

english, 2016

39

Piecewise Affine Functions, Sturmian Sequences and Wang Tiles

Kari, Jarkko, Karhumäki, J., Mazalov, V., Matiyasevich, Yu.

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 209 KB

english, 2016

40

Riemann’s zeta function and finite Dirichlet series

Matiyasevich, Yu. V.

Journal:

St Petersburg Mathematical Journal

Year:

2016

Language:

english

File:

PDF, 1.02 MB

english, 2016

41

Riemann’s hypothesis in terms of the eigenvalues of special Hankel matrices

Yu. V. Matiyasevich

Journal:

Proceedings of the Steklov Institute of Mathematics

Year:

2017

Language:

english

File:

PDF, 1.28 MB

english, 2017

42

A Few Factors from the Euler Product Are Sufficient for Calculating the Zeta Function with High Precision

Matiyasevich, Yu. V.

Journal:

Proceedings of the Steklov Institute of Mathematics

Year:

2017

Language:

english

File:

PDF, 1.96 MB

english, 2017

43

Calculation of Belyi Functions for Trees with Weighted Edges

Matiyasevich, Yu.

Journal:

Journal of Mathematical Sciences

Year:

2017

Language:

english

File:

PDF, 649 KB

english, 2017

44

Approximation of Reset Thresholds with Greedy Algorithms

Ananichev, Dimitry S., Gusev, Vladimir V., Karhumäki, J., Mazalov, V., Matiyasevich, Yu.

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 93 KB

english, 2016

45

Game-Theoretic Centrality Measures for Weighted Graphs

Mazalov, V. V., Avrachenkov, K. E., Trukhina, L. I., Tsynguev, B. T., Karhumäki, J., Mazalov, V., Matiyasevich, Yu.

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 563 KB

english, 2016

46

On the Multiplicative Complexity of Boolean Functions

Selezneva, Svetlana N., Karhumäki, J., Mazalov, V., Matiyasevich, Yu.

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 59 KB

english, 2016

47

Minimum Number of Input Clues in Robust Information Retrieval

Junnila, Ville, Laihonen, Tero, Karhumäki, J., Mazalov, V., Matiyasevich, Yu.

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 145 KB

english, 2016

48

Forest Fire Models on Configuration Random Graphs

Leri, Marina, Pavlov, Yuri, Karhumäki, J., Mazalov, V., Matiyasevich, Yu.

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 7.54 MB

english, 2016

49

The Number of Distinct Subpalindromes in Random Words

Rubinchik, Mikhail, Shur, Arseny M., Karhumäki, J., Mazalov, V., Matiyasevich, Yu.

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 303 KB

english, 2016

50

Vladimir Petrovich Platonov

Adian, S. I., Buchstaber, V. M., Zelmanov, E. I., Kislyakov, S. V., Kozlov, V. V., Matiyasevich, Yu. V., Novikov, S. P., Orlov, D. O., Parshin, A. N., Popov, V. L., Treschev, D. V.

Journal:

Russian Mathematical Surveys

Year:

2020

File:

PDF, 907 KB

2020